<html>
<head><meta charset="utf-8"><title>I-prioritize #73722 Invalid equality check result for usize… · t-compiler/wg-prioritization/alerts · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/index.html">t-compiler/wg-prioritization/alerts</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2373722.20Invalid.20equality.20check.20result.20for.20usize.E2.80.A6.html">I-prioritize #73722 Invalid equality check result for usize…</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="210352190"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2373722%20Invalid%20equality%20check%20result%20for%20usize%E2%80%A6/near/210352190" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2373722.20Invalid.20equality.20check.20result.20for.20usize.E2.80.A6.html#210352190">(Sep 17 2020 at 06:26)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="3111">@WG-prioritization/alerts</span> issue <a href="https://github.com/rust-lang/rust/issues/73722">#73722</a> has been requested for prioritization.</p>
<h1><a href="https://forge.rust-lang.org/compiler/prioritization/procedure.html#assign-priority-to-unprioritized-issues-with-i-prioritize-label">Procedure</a></h1>
<ul>
<li>Priority?</li>
<li>Regression?</li>
<li>Notify people/groups?</li>
<li>Needs <code>I-nominated</code>?</li>
</ul>



<a name="210352399"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2373722%20Invalid%20equality%20check%20result%20for%20usize%E2%80%A6/near/210352399" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Stu <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2373722.20Invalid.20equality.20check.20result.20for.20usize.E2.80.A6.html#210352399">(Sep 17 2020 at 06:31)</a>:</h4>
<p>I have a question for this situation. Since they already know the solution / bug. Does this influence the priority level somehow?</p>



<a name="210354100"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2373722%20Invalid%20equality%20check%20result%20for%20usize%E2%80%A6/near/210354100" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2373722.20Invalid.20equality.20check.20result.20for.20usize.E2.80.A6.html#210354100">(Sep 17 2020 at 07:01)</a>:</h4>
<p><span class="user-mention" data-user-id="230287">@Stu</span> Usually we don’t think as much because the priority isn’t as important</p>



<a name="210354223"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2373722%20Invalid%20equality%20check%20result%20for%20usize%E2%80%A6/near/210354223" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2373722.20Invalid.20equality.20check.20result.20for.20usize.E2.80.A6.html#210354223">(Sep 17 2020 at 07:03)</a>:</h4>
<p>looks like <code>P-medium</code> to me, there is unsoundness here but it seems fairly hard to trigger by accident</p>



<a name="210370163"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2373722%20Invalid%20equality%20check%20result%20for%20usize%E2%80%A6/near/210370163" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2373722.20Invalid.20equality.20check.20result.20for.20usize.E2.80.A6.html#210370163">(Sep 17 2020 at 10:09)</a>:</h4>
<p>Issue <a href="https://github.com/rust-lang/rust/issues/73722">#73722</a>'s prioritization request has been removed.</p>



<a name="210380043"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2373722%20Invalid%20equality%20check%20result%20for%20usize%E2%80%A6/near/210380043" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2373722.20Invalid.20equality.20check.20result.20for.20usize.E2.80.A6.html#210380043">(Sep 17 2020 at 12:15)</a>:</h4>
<p>well for an <code>I-unsound</code> bug I'd have said at least <code>P-high</code> if not <code>P-critical</code></p>



<a name="210380089"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2373722%20Invalid%20equality%20check%20result%20for%20usize%E2%80%A6/near/210380089" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2373722.20Invalid.20equality.20check.20result.20for.20usize.E2.80.A6.html#210380089">(Sep 17 2020 at 12:15)</a>:</h4>
<p>maybe <span class="user-mention" data-user-id="120791">@RalfJ</span> can comment a bit about it</p>



<a name="210380180"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2373722%20Invalid%20equality%20check%20result%20for%20usize%E2%80%A6/near/210380180" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2373722.20Invalid.20equality.20check.20result.20for.20usize.E2.80.A6.html#210380180">(Sep 17 2020 at 12:16)</a>:</h4>
<p><span class="user-mention silent" data-user-id="255061">LeSeulArtichaut</span> <a href="#narrow/stream/245100-t-compiler.2Fwg-prioritization.2Falerts/topic/I-prioritize.20.2373722.20Invalid.20equality.20check.20result.20for.20usize.E2.80.A6/near/210354100">said</a>:</p>
<blockquote>
<p><span class="user-mention silent" data-user-id="230287">Stu</span> Usually we don’t think as much because the priority isn’t as important</p>
</blockquote>
<p>I think it is important</p>



<a name="210380214"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2373722%20Invalid%20equality%20check%20result%20for%20usize%E2%80%A6/near/210380214" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2373722.20Invalid.20equality.20check.20result.20for.20usize.E2.80.A6.html#210380214">(Sep 17 2020 at 12:16)</a>:</h4>
<p>so, it's not really important if the issue ends with <code>P-low</code> or <code>P-medium</code> but if the issue is <code>P-critical</code> is important to label and so we can act fast</p>



<a name="210380247"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2373722%20Invalid%20equality%20check%20result%20for%20usize%E2%80%A6/near/210380247" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2373722.20Invalid.20equality.20check.20result.20for.20usize.E2.80.A6.html#210380247">(Sep 17 2020 at 12:17)</a>:</h4>
<p>in my opinion a PR open or like in this case a fix in LLVM that is not included in LLVM is not enough to raise awareness of the urgence</p>



<a name="210380269"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2373722%20Invalid%20equality%20check%20result%20for%20usize%E2%80%A6/near/210380269" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2373722.20Invalid.20equality.20check.20result.20for.20usize.E2.80.A6.html#210380269">(Sep 17 2020 at 12:17)</a>:</h4>
<p>in this case this LLVM fix should be backported</p>



<a name="210380302"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2373722%20Invalid%20equality%20check%20result%20for%20usize%E2%80%A6/near/210380302" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2373722.20Invalid.20equality.20check.20result.20for.20usize.E2.80.A6.html#210380302">(Sep 17 2020 at 12:17)</a>:</h4>
<p>if there's a PR up not merged, labelling the issue as <code>P-critical</code> should show that reviews are more urgent</p>



<a name="210380369"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2373722%20Invalid%20equality%20check%20result%20for%20usize%E2%80%A6/near/210380369" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2373722.20Invalid.20equality.20check.20result.20for.20usize.E2.80.A6.html#210380369">(Sep 17 2020 at 12:18)</a>:</h4>
<p>we can have a bunch of back and forth in the PR about decisions on how to solve the problem</p>



<a name="210380392"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2373722%20Invalid%20equality%20check%20result%20for%20usize%E2%80%A6/near/210380392" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2373722.20Invalid.20equality.20check.20result.20for.20usize.E2.80.A6.html#210380392">(Sep 17 2020 at 12:18)</a>:</h4>
<p>and this may delay things and the issue could hit the release or something</p>



<a name="210380425"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2373722%20Invalid%20equality%20check%20result%20for%20usize%E2%80%A6/near/210380425" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2373722.20Invalid.20equality.20check.20result.20for.20usize.E2.80.A6.html#210380425">(Sep 17 2020 at 12:19)</a>:</h4>
<p>also we try to merge PRs for P-critical as fast as possible so fixes can be tested earlier</p>



<a name="210380454"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2373722%20Invalid%20equality%20check%20result%20for%20usize%E2%80%A6/near/210380454" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2373722.20Invalid.20equality.20check.20result.20for.20usize.E2.80.A6.html#210380454">(Sep 17 2020 at 12:19)</a>:</h4>
<p><code>P-high</code>s are more debatable but I also think those should be handled more or less equivalently to <code>P-critical</code>s</p>



<a name="210380539"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2373722%20Invalid%20equality%20check%20result%20for%20usize%E2%80%A6/near/210380539" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2373722.20Invalid.20equality.20check.20result.20for.20usize.E2.80.A6.html#210380539">(Sep 17 2020 at 12:20)</a>:</h4>
<p>this has been an old issue as well and relates to: <a href="https://github.com/rust-lang/rust/issues/54685">https://github.com/rust-lang/rust/issues/54685</a></p>



<a name="210381121"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2373722%20Invalid%20equality%20check%20result%20for%20usize%E2%80%A6/near/210381121" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> DPC <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2373722.20Invalid.20equality.20check.20result.20for.20usize.E2.80.A6.html#210381121">(Sep 17 2020 at 12:26)</a>:</h4>
<p>(wrong channel <span aria-label="stuck out tongue" class="emoji emoji-1f61b" role="img" title="stuck out tongue">:stuck_out_tongue:</span> )</p>



<a name="210502026"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2373722%20Invalid%20equality%20check%20result%20for%20usize%E2%80%A6/near/210502026" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2373722.20Invalid.20equality.20check.20result.20for.20usize.E2.80.A6.html#210502026">(Sep 18 2020 at 10:42)</a>:</h4>
<p><span class="user-mention silent" data-user-id="120823">DPC</span> <a href="#narrow/stream/245100-t-compiler.2Fwg-prioritization.2Falerts/topic/I-prioritize.20.2373722.20Invalid.20equality.20check.20result.20for.20usize.E2.80.A6/near/210380539">said</a>:</p>
<blockquote>
<p>this has been an old issue as well and relates to: <a href="https://github.com/rust-lang/rust/issues/54685">https://github.com/rust-lang/rust/issues/54685</a></p>
</blockquote>
<p>it relates but unlike that one, this here is a miscompilation</p>



<a name="210502038"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2373722%20Invalid%20equality%20check%20result%20for%20usize%E2%80%A6/near/210502038" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2373722.20Invalid.20equality.20check.20result.20for.20usize.E2.80.A6.html#210502038">(Sep 18 2020 at 10:42)</a>:</h4>
<p>it's okay if functions compare differently when the same program is compiled multiple times</p>



<a name="210502059"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2373722%20Invalid%20equality%20check%20result%20for%20usize%E2%80%A6/near/210502059" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2373722.20Invalid.20equality.20check.20result.20for.20usize.E2.80.A6.html#210502059">(Sep 18 2020 at 10:43)</a>:</h4>
<p>it is a big issue when they compare differently when doing the same comparison multiple times during one execution</p>



<a name="210502171"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2373722%20Invalid%20equality%20check%20result%20for%20usize%E2%80%A6/near/210502171" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2373722.20Invalid.20equality.20check.20result.20for.20usize.E2.80.A6.html#210502171">(Sep 18 2020 at 10:44)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116266">Santiago Pastorino</span> <a href="#narrow/stream/245100-t-compiler.2Fwg-prioritization.2Falerts/topic/I-prioritize.20.2373722.20Invalid.20equality.20check.20result.20for.20usize.E2.80.A6/near/210380089">said</a>:</p>
<blockquote>
<p>maybe <span class="user-mention silent" data-user-id="120791">RalfJ</span> can comment a bit about it</p>
</blockquote>
<p>not sure what to comment on? I have interacted very little with priorization so I don't really know what consequences any given priority would have</p>



<a name="210517355"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2373722%20Invalid%20equality%20check%20result%20for%20usize%E2%80%A6/near/210517355" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2373722.20Invalid.20equality.20check.20result.20for.20usize.E2.80.A6.html#210517355">(Sep 18 2020 at 13:25)</a>:</h4>
<p><span class="user-mention silent" data-user-id="120791">RalfJ</span> <a href="#narrow/stream/245100-t-compiler.2Fwg-prioritization.2Falerts/topic/I-prioritize.20.2373722.20Invalid.20equality.20check.20result.20for.20usize.E2.80.A6/near/210502171">said</a>:</p>
<blockquote>
<p><span class="user-mention silent" data-user-id="116266">Santiago Pastorino</span> <a href="#narrow/stream/245100-t-compiler.2Fwg-prioritization.2Falerts/topic/I-prioritize.20.2373722.20Invalid.20equality.20check.20result.20for.20usize.E2.80.A6/near/210380089">said</a>:</p>
<blockquote>
<p>maybe <span class="user-mention silent" data-user-id="120791">RalfJ</span> can comment a bit about it</p>
</blockquote>
<p>not sure what to comment on? I have interacted very little with priorization so I don't really know what consequences any given priority would have</p>
</blockquote>
<p>what you've said is already enough :), if you also want to give an opinion about the priority that's fine too</p>



<a name="210517504"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2373722%20Invalid%20equality%20check%20result%20for%20usize%E2%80%A6/near/210517504" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2373722.20Invalid.20equality.20check.20result.20for.20usize.E2.80.A6.html#210517504">(Sep 18 2020 at 13:26)</a>:</h4>
<p>or more in general about how critical you think this issue is, I saw you commented on the LLVM issue that we consider this a critical bug, if we were doing so we would better tag it like that or with a bit higher priority</p>



<a name="210517524"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2373722%20Invalid%20equality%20check%20result%20for%20usize%E2%80%A6/near/210517524" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2373722.20Invalid.20equality.20check.20result.20for.20usize.E2.80.A6.html#210517524">(Sep 18 2020 at 13:26)</a>:</h4>
<p>right now it's tagged as <code>P-medium</code></p>



<a name="210517635"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2373722%20Invalid%20equality%20check%20result%20for%20usize%E2%80%A6/near/210517635" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2373722.20Invalid.20equality.20check.20result.20for.20usize.E2.80.A6.html#210517635">(Sep 18 2020 at 13:27)</a>:</h4>
<p>I'd agree to bump the priority a bit more to be honest</p>



<a name="210517649"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2373722%20Invalid%20equality%20check%20result%20for%20usize%E2%80%A6/near/210517649" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2373722.20Invalid.20equality.20check.20result.20for.20usize.E2.80.A6.html#210517649">(Sep 18 2020 at 13:27)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116266">Santiago Pastorino</span> <a href="#narrow/stream/245100-t-compiler.2Fwg-prioritization.2Falerts/topic/I-prioritize.20.2373722.20Invalid.20equality.20check.20result.20for.20usize.E2.80.A6/near/210380043">said</a>:</p>
<blockquote>
<p>well for an <code>I-unsound</code> bug I'd have said at least <code>P-high</code> if not <code>P-critical</code></p>
</blockquote>
<p><span aria-label="point up" class="emoji emoji-1f446" role="img" title="point up">:point_up:</span></p>



<a name="210551413"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2373722%20Invalid%20equality%20check%20result%20for%20usize%E2%80%A6/near/210551413" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2373722.20Invalid.20equality.20check.20result.20for.20usize.E2.80.A6.html#210551413">(Sep 18 2020 at 17:32)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116266">Santiago Pastorino</span> <a href="#narrow/stream/245100-t-compiler.2Fwg-prioritization.2Falerts/topic/I-prioritize.20.2373722.20Invalid.20equality.20check.20result.20for.20usize.E2.80.A6/near/210517504">said</a>:</p>
<blockquote>
<p>or more in general about how critical you think this issue is, I saw you commented on the LLVM issue that we consider this a critical bug, if we were doing so we would better tag it like that or with a bit higher priority</p>
</blockquote>
<p>I was mostly saying this to convey how serious Rust takes soundness issues, given that LLVM devs mostly come from a C/C++ background where there is no soundness to begin with. I did not mean this to imply "P-critical".</p>



<a name="210551608"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2373722%20Invalid%20equality%20check%20result%20for%20usize%E2%80%A6/near/210551608" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2373722.20Invalid.20equality.20check.20result.20for.20usize.E2.80.A6.html#210551608">(Sep 18 2020 at 17:34)</a>:</h4>
<p>if you want my personal opinion then all I-unsound are P-critical, but I also know that that's not realistic. ;)<br>
this one here is subtle, it seems unlikely to actually happen in normal code, but it is also hard to detect when it happens. so I could see people doing the judgment call either way.</p>



<a name="210551741"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2373722%20Invalid%20equality%20check%20result%20for%20usize%E2%80%A6/near/210551741" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2373722.20Invalid.20equality.20check.20result.20for.20usize.E2.80.A6.html#210551741">(Sep 18 2020 at 17:35)</a>:</h4>
<p>this applies to most miscompilation issues so maybe there is some precedent here already</p>



<a name="210554340"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2373722%20Invalid%20equality%20check%20result%20for%20usize%E2%80%A6/near/210554340" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2373722.20Invalid.20equality.20check.20result.20for.20usize.E2.80.A6.html#210554340">(Sep 18 2020 at 17:57)</a>:</h4>
<p><span class="user-mention" data-user-id="120791">@RalfJ</span> yeah I have the same feeling you have <span aria-label="+1" class="emoji emoji-1f44d" role="img" title="+1">:+1:</span></p>



<a name="210554359"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize%20%2373722%20Invalid%20equality%20check%20result%20for%20usize%E2%80%A6/near/210554359" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/245100-t-compiler/wg-prioritization/alerts/topic/I-prioritize.20.2373722.20Invalid.20equality.20check.20result.20for.20usize.E2.80.A6.html#210554359">(Sep 18 2020 at 17:57)</a>:</h4>
<p>maybe I'd be happier bumping it up to <code>P-high</code> at least, <code>P-medium</code> seems too low for this kind of issues :)</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>